Eawag, the Swiss Federal Institute of Aquatic Science and Technology, is a Swiss-based and internationally networked aquatic research institute within the ETH domain (Swiss Federal Institutes of Technology). It is commit

Source URL: www.regionalstudies.org

Failure Detectors as First Class Objects∗ Pascal Felber†, Xavier D´efago, Rachid Guerraoui‡ Swiss Federal Institute of Technology Operating Systems LabLausanne, Switzerland

Source URL: www.jaist.ac.jp

• Object-oriented programming
• CORBA
• Inter-process communication
• Component-based software engineering
• Distributed computing architecture
• Common Object Request Broker Architecture
• Object
• Distributed object
• Service-oriented architecture
• Computing
• Software engineering
• Concurrent computing

PILOT PROJECTS IN BATHROOMS: A NEW CHALLENGE FOR WASTEWATER PROFESSIONALS Judit Lienert*, Tove A. Larsen Eawag Swiss Federal Institute of Aquatic Science and Technology Dept. Urban Water Management

Source URL: www.iwaponline.com

• Bathrooms
• Environmental engineering
• Urine
• Sanitation
• Ecological sanitation
• Toilet
• Urinal
• Reclaimed water
• Flush toilet
• Environment
• Sewerage
• Water

Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak

Source URL: lara.epfl.ch

• Computing
• Association for Computing Machinery
• Logic in computer science
• Principles of Programming Languages
• Programming Language Design and Implementation
• SIGPLAN
• Formal verification
• Model checking
• Computer Aided Verification
• Computer science
• Theoretical computer science
• Formal methods

Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL)

Source URL: lara.epfl.ch

• Formal methods
• Abstraction
• Model theory
• Predicate transformer semantics
• Program logic
• Transitive closure
• Predicate abstraction
• Predicate
• Interpolation
• Mathematical logic
• Mathematics
• Logic

Social Signaling in Decision Making by Ron Caneel M.Sc., Swiss Federal Institute of Technology ZurichSubmitted to the Program in Media Arts and Sciences,

Source URL: groupmedia.media.mit.edu

• Rhetoric
• Thesis
• Knowledge
• Nonverbal communication
• Conversation
• Human communication
• Luis Alvarez Renta
• Education
• Communication
• Academia

Cut-primed smart copying Alexander Neubeck, Alexey Zalesny and Luc van Gool Swiss Federal Institute of Technology Zurich, Switzerland Email: {aneubeck,zalesny,vangool}@vision.ee.ethz.ch Abstract— Texture synthesis thro

Source URL: www.macs.hw.ac.uk

• Symmetry
• Texture mapping
• Tessellation
• Vertex
• Visual arts
• Optics
• Aesthetics
• 3D computer graphics
• Texture synthesis
• Computer graphics

Eidgenössische Technische Hochschule Swiss Federal Institute of Technology Information Management Sonneggstrasse 63 CH-8092 Zürich

Source URL: www.im.ethz.ch

Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland

Source URL: lara.epfl.ch

• Logic in computer science
• Formal methods
• Constraint programming
• Electronic design automation
• NP-complete problems
• Satisfiability Modulo Theories
• Algorithm
• Presburger arithmetic
• Function
• Mathematics
• Theoretical computer science
• Mathematical logic

Trustworthy Numerical Computation in Scala Eva Darulova Viktor Kuncak ∗ School of Computer and Communication Sciences (I&C) - Swiss Federal Institute of Technology (EPFL), Switzerland

Source URL: lara.epfl.ch

• Mathematical analysis
• Applied mathematics
• Affine arithmetic
• Machine epsilon
• Floating point
• Interval arithmetic
• Rounding
• Round-off error
• Interval
• Numerical analysis
• Computer arithmetic
• Mathematics